#!/bin/bash
source run.properties
java $SERVER -ORBInitialPort $NAMING_SERVICE_PORT -ORBInitialHost $NAMING_SERVICE_HOST
